Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
481	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
482	DRA FRONT END FILTER PROJECT Proposal for Phase 2 Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:49 ALGOL 68 Transact-SQL Proof assistant KeY Logic Database Data management Computing Programming language theory
483	PDF Document Add to Reading List Source URL: www.sscnet.ucla.edu Language: English - Date: 2002-08-08 18:56:28 Formal systems Concepts Mathematical logic Axiomatic system Axiom Mathematical proof Complexity Theory Economic model Mathematics Logic Structure
484	PDF Document Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:06 Proof theory Orthogonal polynomials Mathematical analysis Beta distribution Beta function
485	Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Logical syntax Propositional calculus Proof theory Interpolation Video Video signal First-order logic Formal proof Pi Logic Mathematical logic Mathematics
486	OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Dec, NEWGEN 2.7 The New Puzzle of Theory of Mind Development REBECCA SAXE Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2013-08-20 12:29:50 Mind Neuroscience Cognitive psychology Theory of mind Social cognition Cognitive development Cognition Psychology Cognitive neuroscience Cognitive science Science Ethology
487	OUP CORRECTED PROOF – FINAL, , SPi 1 Introduction Occupational pensions are a relatively recent innovation. Their history is well Add to Reading List Source URL: fdslive.oup.com Language: English - Date: 2013-09-30 10:31:09 Ethology Critical thinking Rational choice theory Social philosophy Rationality Herbert Simon Decision making Cognitive bias Finance Science Cognitive science Decision theory
488	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
489	Non Observability in the Random Oracle Model Prabhanjan Ananth and Raghav Bhaskar Microsoft Research India BangaloreAbstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-18 23:51:34 Cryptographic hash functions Computability theory Random oracle Oracle machine Oracle Corporation Proof of knowledge L Standard model Oracle Database Cryptography Theoretical computer science Cryptographic protocols
490	Introduction Combining Theories Packaging Theories Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 06:12:40 Automated theorem proving Philosophy of science Scientific method Concepts Logic in computer science Proof assistant Isabelle HOL Theory Science Logic Mathematics

UPDATE